deductive inference
英 [dɪˈdʌktɪv ˈɪnfərəns]
美 [dɪˈdʌktɪv ˈɪnfərəns]
演绎推理；推断的结果
双语例句
- Since long ago, our country mathematics educator pays great attention to the use "the formalization" the way develops student's deductive inference ability, neglected the student to gather the reasonable inference ability the raise.
长期以来，我国数学教育工作者注重采用形式化的方式发展学生的演绎推理能力，忽视了学生合情推理能力的培养。 - Truth table, value assignment of reduction to absurdity, truth tree, deductive argumentation and normal form etc. are the methods of judging ( or proving) tautology in propositional calculus of mathematical logic, but not that of judging inference formula in traditional propositional logic.
真值表、归谬赋值、真值树、演绎证明和范式等方法是数理逻辑命题演算中重言式的判定（或证明）方法，但不是传统命题逻辑推理式的判定方法。 - A marked characteristic of deductive inference is that the connection in premise and conclusion is apodeictic;
演绎推理的一个显著特征是前提与结论之间的联系是必然的。 - The writers of this article hold that deductive inference dominates the translation process, and it depends upon correctness of premise and conclusion, rationality of reasoning, and constantly changing context.
作者认为在翻译过程中，推理的形式由演绎推理占主导地位，而且推理受三个方面的因素影响：前提和结论的真实性，推理过程的合理性，以及语境变化的影响。 - The deductive database is a combined product of artificial intelligence and database, which possesses functions of data processing and logical inference.
演绎数据库是人工智能与数据库技术结合的产物，它具有数据处理及逻辑推理功能。 - Except inductive method, non-deductive inference is like deductive inference in that the conclusion must be true if the premise is true.
非演绎推理除归纳法之外，与演绎推理一样，只要前提都真，结论必真。 - Deductive inference corresponds with a deductive reasoning rule, while the non deductive inference has no corresponding rule.
演绎推理对应着一个演绎推理规则，非演绎推理则无对应的推理规则。 - Natural interpretation's inference coursing is deductive inference of syllogism.
当然解释的推理过程为三段论式的演绎推理。 - The educational circle of our country is usually considered as "mathematical inference" which refers to the highly formalized and abstract deductive inference.
我国教育界常常认为数学推理主要是指高度形式化的、抽象化的演绎推理。 - Deductive Inference on the Plate Height Equation of Electrochromatography
电色谱塔板高度方程的推导 - In view of the existing situation that only the deductive inference is paid attention to, this thesis illustrates with examples that reasoning from analogy is an efficient way to practiSe creative mathematic thought;
针对数学教学中只注重演绎论证的现状，用实例说明了类比推理是进行发现性数学思维的有效方法； - Two-level deductive database system is the amalgamation of conventional database and PROLOG system, which is divided into two levels: database level and inference level.
二级演绎数据库系统是一种结合一般数据库系统与PROLOG系统特点的演绎数据库系统，它分为数据库级和推理级两个不同的层次。 - Matter-of-fact reasoning use mainly the logic reasoning, such as inductive reasoning, deductive reasoning, fuzzy reasoning and probability reasoning, while the normal relation between the base fact and inference fact has to be treated as the logic foundation of the matter-of-fact inference.
事实推理主要运用演绎推理、归纳推理、模糊推理与概率推理等逻辑推理方法；而事实推定的逻辑依据在于基础事实与推定事实之间存在着近似于充分条件逻辑关系的常态联系。 - Hence it is no doubt his theory provides a new perspective for deductive inference of moral philosophy.
这一探讨无疑为当代西方道德哲学研究提供了一个新的视角。 - The relation between conceptual graph and logic, is discussed the method of deductive inference on conceptual graph, which is an important inference method of knowledge systems based on conceptual graph, is presented.
主要讨论概念图与一阶逻辑的关系，提出一种基于概念图的知识系统的推理方法，该方法在概念图上进行演绎推理。 - The inference engine adopts a tactical thinking based on deductive inference, definite reasoning and forward reasoning, they improve the efficiency of reasoning, and preferably achieve the effect of reasoning.
该推理机采用了演绎推理、确定性推理和前向推理相结合的推理策略，提高了推理机的效率，获得了较好的推理效果。 - Their differences lie in that deductive inference is logical inference from premise to conclusion. The inference process of the non-deductive inference is to make concrete analysis according to concrete problems.
不同之处在于：演绎推理从前提到结论之间的推理是逻辑推理，而非演绎推理的推理过程则是根据具体问题进行具体分析； - It possesses such functions as the interface of natural language, the management of information ( includingknowledge and data) and the deductive inference etc.
该系统具有自然语言接口、信息（包括知识和数据）管理能力和基本的推理演绎能力。 - In the process of reflecting on philosophical concepts, and of further comprehending mathematical deductive inference, it can also extend to recognition of the relationship between the three fields of physics, biology and economics.
在对哲学的概念反思和数学的演绎推理进一步认识的过程当中，还可以引申到认识物理学、生物学、经济学三学科的关系。 - The application of law mainly uses deductive inference or syllogist inference.
法官适用法律中主要运用演绎推理或三段论推理。 - Logic analysis was conducted by means of analog inference, induction and deductive inference, so as to discover the regularities, find out developing trend and suggest corresponding countermeasures.
通过类比推理、归纳与演绎推理等方法进行逻辑分析，以发现规律、找出发展趋势、提出相应对策。 - Deductive inference and non-deductive inference are often used in mathematical proof.
演绎推理和非演绎推理经常被运用到数学证明中。 - This article illustrates the dual charateristics of maths thinking, thinking, which is universal, and expounds that the strategic process and deductive inference cannot be separated from life.
例举体现数学思维两重性特点的例子，说明数学思维特点的普遍性，并从数学思维特点普遍渗透于生活的启示中阐明：策略创造与演绎推证两方面不可分割； - Through deductive inference and constructive method, the authors analyze the weighted and strengthened Kantorovich integral inequality and obtain the Kantorovich discrete inequality.
分析了Kantorovich加权加强积分不等式，并运用演绎推理和构造性的方法，得到了一类Kantorovich离散型加权加强不等式。 - Based on theoretical analysis and deductive inference, the third chapter proposes the concept and the constitution of tourist power.
第三章通过理论推演提出了旅游者权力的概念并对其构成进行了初步的探索。 - In the matter of logical process, inductive inference and deductive inference are both important and connected together in the science research.
从逻辑过程看，归纳推理和演绎推理在科学研究中都具有重要的作用，在实践过程中，两种推理被有机地结合在一起。